Contract Aware Components, 10 years after

The notion of contract aware components has been published roughly ten years ago and is now becoming mainstream in several fields where the usage of software components is seen as critical. The goal of this paper is to survey domains such as Embedded Systems or Service Oriented Architecture where the notion of contract aware components has been influential. For each of these domains we briefly describe what has been done with this idea and we discuss the remaining challenges.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Co-design process software-hardware model driven

L'ingénierie des modèles (IDM) a depuis très largement démontré sa pertinence dans les développements logiciels; restait alors à démontrer son applicabilité dans le développement de tout système d'information. Aujourd'hui, de nombreuses expérimentations montrent avec plus ou moins de succès que l'IDM peut parfaitement supporter d'autres domaines comme le domaine du co-design ou celui de l'ingénierie des processus.Dans le domaine du co-design, les activités de conception consiste essentiellement à concevoir et analyser des systèmes implantées sur des plateformes spécifiques (SoC, MPSoC, NoC, etc.): cela nécessite l'utilisation de langages dédiés permettant de représenter : les constituants du système ou de la plateforme, les contraintes non fonctionnelles, les allocations spatio-temporelles des blocs du système sur la plateforme, les analyses qui découlent des choix d'allocation. Le langage de modélisation généraliste UML (Unified Modeling Language) ne pouvait que très difficilement satisfaire de tels besoins. C'est pourquoi l'OMG (Object Management Group) a standardisé une extension d'UML dédiée à la conception et l'analyse de systèmes embarqués temps réel (MARTE). L'objectif premier de cette thèse est de proposer une méthodologie de conception de SoPC (System-on-Programmable-Chip) basée sur l'utilisation de modèles qui fait la synthèse des approches proposées par les communautés de l'ESL et de l'IDM.Aussi avons-nous poussé la réflexion sur les manières de capitaliser au mieux notre méthodologie et sur sa mise en œuvre dans l'élication des processus de co-design. C'est la raison pour laquelle, après avoir fait une étude sur la formalisation des processus de développement, nous avons trouvé opportun de proposer notre propre extension du langage SPEM (Software and System Process Engineering Modeling), standardisé par l'OMG, afin d'y intégrer des concepts manquants, essentiels à notre sens à la représentation des processus IDM de co-design.The relevancy of the Model Based Approach (MBE) applied in the field of software engineering has been widely demonstrated though several experiments. In the field of co-design, business activities are mainleny design and analysis activities of complex systems implemented into chips (SoC - System-on-Chip) or reprogrammable chip (SoPC) - System-on-Programmable-Chip). Those activities require dedicated languages and tools allowing capture of : system or platform components, non-functional properties, allocation of system blocks onto the platform, either into space or into time, subsequent analysis to allocation choices. The Unified Modeling Language (UML) is a general purpose language that does not fit to such activities. That is why the OMG has standardized a UML profile dedictated to design and analysis of Real-Time Embedded Systems (MARTE). Associated to such language, on of the goal of this thesis is to propose a clear methodology that make benefits of both MBE and Electronic System Level (ESL) techniques. Beneath the simple proposition of an MBE/ESL methodology, another goal of this thesis is to propose a better capitalization of methodology rules allowing a continuous maturity of processes. That is why we found relevant to propose an extension to SPEM in order to introduce missing concepts to acheive our goals

Framework for Integrating ESL Tools

International audienceToday embedded systems are complex and their development is based on the use of a large set of tools. Although point to point tool integration can be e cient, it is not very well adapted to changing because it remains costly and human expensive. To solve this problem, several approaches on tool integration have been proposed. Even if those approaches handle the exibility and the obsolescence issues, the tool synergy cannot still be achieved due to major problems such as technological or semantic gaps. Recently, new techniques such as model based engineering and communities such as OSLC have emerged. They represent a promising approach for signi cant improvement of integration frameworks. In this paper, we present the basics for an integration framework supporting HW/SW co-design development that takes bene- ts from modeling and current standards. This work is part of the iFEST ARTEMIS project

Processus MOPCOM pour SoC/SoPC

NonWOSNational audienceDans cet article, nous présentons un flot IDM de conception de SoC (System-On-Chip) basé sur l'utilisation du profile UML MARTE (Modeling and Analysis of Real-Time Embedded Systems), dédié à la conception et l'analyse de système temps réel embarqués et récemment standardisé par l'OMG. Le flot présenté adresse les problématiques de la communauté de l'ESL (Electronic System Level) et s'inscrit dans le cadre du projet MoPCoM (http://www.mopcom.fr)

Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes

National audienceL'ingénierie dirigée par les modèles (IDM) vise à réduire la complexité accidentelle des développements de systèmes logiciels complexes. L'IDM vise à résoudre ce problème par l'utilisation de techniques de modélisation qui prennent en charge la séparation des préoccupations et la génération automatique des artefacts du système à partir de modèles (e.g., cas de tests, code d'implantation, scripts de déploiement et de configuration). Un modèle décrit un aspect du système et est généralement créé ou dérivé pour un objectif particulier. Les modèles des différents aspects du système sont toutefois rarement manipulés indépendamment les uns des autres. Les ingénieurs systèmes sont donc confrontés à la tâche difficile de relier et synchroniser des informations issues de différents modèles. Les environnements modernes de conception et d'implantation de langages de modélisation offrent un bon support pour le développement d'un langage de modélisation, mais offrent peu ou pas de support pour permettre une utilisation coordonnée de plusieurs langages de modélisation. Supporter l'utilisation conjointe de plusieurs langages de modélisation pour la définition d'un système correspond au défi que nous qualifions de coordination des langages de modélisation, c'est-à-dire l'utilisation de plusieurs langages de modélisation pour soutenir le développement coordonné des aspects hétérogènes d'un système. Dans cet article, nous faisons tout d'abord un bilan sur l'adoption de l'IDM et le constat de la multiplication des langages de modélisation dans les processus de développement industriels. Nous exposons ensuite le nouveau défi que constitue la coordination des langages de modélisation, et présentons les pistes de solutions actuellement explorées par les partenaires de l'initiative GEMOC

Interoperability Improvement in a Collaborative Dynamic Manufacturing Network

Part 6: PLM ToolsInternational audienceToday, more than ever, enterprise interoperability is a key factor of successful collaboration and exchange of information. It was identified as a critical need that has to be taken into account through the whole life cycle of the manufactured product and an essential property for development and growth. This is particularly significant when it comes to collaborative enterprise networks, like Dynamic Manufacturing Network (DMN), where a distinct group of partners is connected in a chain-like model and where cooperation is crucial to achieve a specific goal. Dealing with interoperability issues in a collaborative DMN, we have to mention the importance of product data and process standards implementation as interoperability enablers. This work seeks to contribute to the improvement of enterprise interoperability along the manufacturing phase of the product in a collaborative DMN. It illustrates the collaboration between the business planning level and the manufacturing level with the implementation of PLM (Product Lifecycle Management) standards. Our added value is to follow a multi-level approach based on the use of standards in a DMN. The proposed approach is highlighted by a manufacturing case study

Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes

National audienceL'ingénierie dirigée par les modèles (IDM) vise à réduire la complexité accidentelle des développements de systèmes logiciels complexes. L'IDM vise à résoudre ce problème par l'utilisation de techniques de modélisation qui prennent en charge la séparation des préoccupations et la génération automatique des artefacts du système à partir de modèles (e.g., cas de tests, code d'implantation, scripts de déploiement et de configuration). Un modèle décrit un aspect du système et est généralement créé ou dérivé pour un objectif particulier. Les modèles des différents aspects du système sont toutefois rarement manipulés indépendamment les uns des autres. Les ingénieurs systèmes sont donc confrontés à la tâche difficile de relier et synchroniser des informations issues de différents modèles. Les environnements modernes de conception et d'implantation de langages de modélisation offrent un bon support pour le développement d'un langage de modélisation, mais offrent peu ou pas de support pour permettre une utilisation coordonnée de plusieurs langages de modélisation. Supporter l'utilisation conjointe de plusieurs langages de modélisation pour la définition d'un système correspond au défi que nous qualifions de coordination des langages de modélisation, c'est-à-dire l'utilisation de plusieurs langages de modélisation pour soutenir le développement coordonné des aspects hétérogènes d'un système. Dans cet article, nous faisons tout d'abord un bilan sur l'adoption de l'IDM et le constat de la multiplication des langages de modélisation dans les processus de développement industriels. Nous exposons ensuite le nouveau défi que constitue la coordination des langages de modélisation, et présentons les pistes de solutions actuellement explorées par les partenaires de l'initiative GEMOC

Conceptual interoperability through Models Federation

Successful architecting of complex systems requires reconciling heterogeneous viewpoints expressed by the stakeholders involved in the development process, including domain and technical experts, users and managers. Most of the time, each concern is analyzed by experts using well-fitted specific tools to produce their point of view on a solution. This results in a set of models with various technical spaces, formalisms and paradigms. Ensuring global consistency, maintaining traceability and building cross- concerns views in that context is challenging. In order to address this issues, we initiated the development of a tooling that provides support for building conceptual views expanding upon existing models and tools. It has been applied to uses cases such as: model composition across tech- nical spaces, heterogeneous (meta)models alignment and keeping models in sync. In this paper, we introduce the models federation approach to conceptual interoperability that drives the development of our innovative modeling engine

De la nécessité de fédérer des modèles dans une chaîne d'outils

National audienceLa capacité de concevoir une bonne architecture d'un système complexe repose sur la capacité d'agréger de manière cohérente un ensemble des points de vue hétérogènes exprimés aux travers de différents outils par les parties prenantes du processus de développement, qui inclut aussi bien les experts techniques, des experts du domaine où les utilisateurs finaux. Bien que les méthodes et les outillés basés sur l'utilisation de modèles offrent une bonne aide à la capture et l'analyse les différents aspects du système en études, nous estimons qu'ils ne permettent pas aujourd'hui une conception cohérente qui prenne en compte l'ensemble des préoccupations des parties prenantes.La conception de systèmes complexes nécessite de nouveaux paradigmes permettant d'améliorer la compréhension des systèmes en études et leur modélisation cohérente tenant compte de l'ensemble des préoccupations des parties prenantes. L'approche présentée vise à libérer les concepteurs des limitations des outils et des pratiques actuels en leur fournissant la possibilité de spécifier et d'analyser des systèmes complexes au travers de modèles hétérogènes issus de différents outils et vus comme un ensemble cohérent de points de vue.Basé sur notre expérience industrielle et nos expérimentations, nous avons initié le développement d'un outillage permettant une modélisation multi-niveaux, multi-paradigmes et supportant différentes technologies de sérialisation. Nous nous attachons à présenter les grandes lignes de nos travaux ainsi que nos efforts visant à formaliser le langage sous-jacent

De la nécessité de fédérer des modèles dans une chaîne d'outils

National audienceLa capacité de concevoir une bonne architecture d'un système complexe repose sur la capacité d'agréger de manière cohérente un ensemble des points de vue hétérogènes exprimés aux travers de différents outils par les parties prenantes du processus de développement, qui inclut aussi bien les experts techniques, des experts du domaine où les utilisateurs finaux. Bien que les méthodes et les outillés basés sur l'utilisation de modèles offrent une bonne aide à la capture et l'analyse les différents aspects du système en études, nous estimons qu'ils ne permettent pas aujourd'hui une conception cohérente qui prenne en compte l'ensemble des préoccupations des parties prenantes.La conception de systèmes complexes nécessite de nouveaux paradigmes permettant d'améliorer la compréhension des systèmes en études et leur modélisation cohérente tenant compte de l'ensemble des préoccupations des parties prenantes. L'approche présentée vise à libérer les concepteurs des limitations des outils et des pratiques actuels en leur fournissant la possibilité de spécifier et d'analyser des systèmes complexes au travers de modèles hétérogènes issus de différents outils et vus comme un ensemble cohérent de points de vue.Basé sur notre expérience industrielle et nos expérimentations, nous avons initié le développement d'un outillage permettant une modélisation multi-niveaux, multi-paradigmes et supportant différentes technologies de sérialisation. Nous nous attachons à présenter les grandes lignes de nos travaux ainsi que nos efforts visant à formaliser le langage sous-jacent